Constraint algebra - PDFSEARCH.IO - Document Search Engine

Constraint algebra
Results: 94

#	Item
71	COIN-OR 2010 Annual Report COIN-OR Foundation November, [removed]Introduction This year marks the 10th anniversary of the COIN-OR project. COIN-OR (COmputational INfrastructure for Operations Research) was first announced Add to Reading List Source URL: www.coin-or.org Language: English - Date: 2011-09-11 11:34:56 Applied mathematics Numerical software Computer algebra systems Constraint programming COIN-OR Linear programming LEMON Global optimization AIMMS Operations research Mathematical optimization Numerical analysis
72	White Paper Network Optimization: Don’t Fall Into the “Single Best Answer” Trap Custom modeling offers maximum flexibility to account for any scenario, rule or constraint in choosing the optimal distribution Add to Reading List Source URL: www.forte-industries.com Language: English - Date: 2012-09-19 08:04:04 Mathematical optimization Applied mathematics Science Management Mathematical modeling Linear programming Infrastructure optimization Algebraic modeling language Supply chain management Operations research Business Computer algebra systems
73	Conference on ALGORITHMIC COMPLEXITY AND UNIVERSAL ALGEBRA Dedicated to the 75th birthday of B´ela Cs´ ak´ any Szeged, Hungary, July 16–20, 2007 Add to Reading List Source URL: www.math.u-szeged.hu Language: English - Date: 2007-07-20 11:46:40 Algebraic structures Universal algebra Category theory Semigroup theory Variety Semigroup Constraint satisfaction Groupoid Monoid Abstract algebra Algebra Mathematics
74	Non-negative Weighted #CSPs: An Effective Complexity Dichotomy Jin-Yi Cai University of Wisconsin, Madison Xi Chen Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-12-31 13:52:31 Differential geometry Differential topology Mathematics Commutative algebra Theorems and definitions in linear algebra Tangent space Constraint programming Constraint satisfaction problem Lemmas
75	Journal on Satisfiability, Boolean Modeling and Computation[removed] The First and Second Max-SAT Evaluations Josep Argelich [removed] Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2008-10-01 08:14:56 Logic in computer science NP-complete problems Boolean algebra Constraint programming Electronic design automation Maximum satisfiability problem Boolean satisfiability problem 2-satisfiability Resolution Theoretical computer science Mathematics Applied mathematics
76	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics
77	Chapter 13 Differential Models Steven M. LaValle University of Illinois Add to Reading List Source URL: planning.cs.uiuc.edu Language: English - Date: 2012-04-20 17:07:06 Classical mechanics Robot kinematics Abstract algebra Linear algebra Kinematics Holonomic Motion planning Trigonometric functions Constraint algorithm Mathematics Algebra Physics
78	Part IV Planning Under Differential Constraints Steven M. LaValle University of Illinois Add to Reading List Source URL: planning.cs.uiuc.edu Language: English - Date: 2012-04-20 17:07:06 Classical mechanics Abstract algebra Linear algebra Introductory physics Kinematics Constraint algorithm Calculus of variations Holonomic Exponentiation Mathematics Algebra Physics
79	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics

UPDATE